Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
- Författare
- (Edited by Christel Baier, Luís Caires.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer International Publishing, Imprint: Springer | 2018 | Tyskland, Cham | XI, 197 sidor. 41 illus. online resource. | 978-3-319-92612-4 |